Procedural programming languages

Results: 6378



#Item
151Online education / Open educational resources / Cross-platform software / Procedural programming languages / Internet forum / Social information processing / EdX / Comparison of Internet forum software / Massive open online course / Go / Thread / Parameter

Toward a Domain-Specific Visual Discussion Forum for Learning Computer Programming: An Empirical Study of a Popular MOOC Forum Joyce Zhu, Jeremy Warner, Mitchell Gordon, Jeffery White, Renan Zanelatto, Philip J. Guo Depa

Add to Reading List

Source URL: pgbovine.net

Language: English - Date: 2015-09-04 14:09:57
152Cross-platform software / Procedural programming languages / Source code / Macro / Programming language implementation / Scheme / Interpreter / Go

Lexically Scoped Hygienic Quasiquotation Morten Rhiger Roskilde University, Denmark September 9, 2012 Abstract

Add to Reading List

Source URL: users-cs.au.dk

Language: English - Date: 2012-09-09 03:06:54
153Scripting languages / Object-oriented programming languages / Integrated development environments / Internet Explorer / Procedural programming languages / VBScript / JavaScript / Delphi / Object Pascal / Plug-in / Command-line interface / Visual Basic

WinPOS Programmer's Guide (eng)

Add to Reading List

Source URL: www.nppmera.ru

Language: English - Date: 2012-05-28 09:13:44
154Data types / Type theory / Functional languages / Functional programming / Procedural programming languages / C++ classes / Recursive data type / ML / Parameter / Type inference / Monad / Enumerated type

CSE341: Programming Languages Winter 2013 Unit 2 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an

Add to Reading List

Source URL: courses.cs.washington.edu

Language: English - Date: 2013-01-12 20:36:27
155Functional languages / Lisp / Automated theorem proving / Theoretical computer science / Procedural programming languages / ACL2 / Nqthm / J Strother Moore / ACL / Common Lisp / Formal methods / Automated reasoning

The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop

Add to Reading List

Source URL: www.cs.miami.edu

Language: English - Date: 2006-07-11 15:25:07
156Higher-order functions / Programming language comparisons / Map / Functional languages / Procedural programming languages

Written Examination, De ember 20th, 2011 Course noThe duration of the examination is 2 hours. Course Name: Fun tional programming Allowed aids: All written material The problem set onsists of 4 problems whi h ar

Add to Reading List

Source URL: www.imm.dtu.dk

Language: English - Date: 2011-12-16 04:16:36
157Software requirements / Formal methods / Procedural programming languages / Requirement / Comment / Formal verification / Traceability / Axiom / C / Mathematical proof / Metamath

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035

Add to Reading List

Source URL: ti.arc.nasa.gov

Language: English
158Object-oriented programming languages / Procedural programming languages / Integrated development environments / COBOL / Cross-platform software / 4GL / Debugger / Microsoft Windows / ActiveX / Windows Vista / IBM TXSeries / Eclipse

® white paper AcuBench Data Sheet

Add to Reading List

Source URL: www.microfocus.com

Language: English - Date: 2016-04-13 19:12:16
159Procedural programming languages / Data types / Compiler construction / C++ / Aliasing / Program analysis / Fortran / Pointer / Array data type / ALGOL 68 / C++ classes / Infinite loop

Lecture 10: Processing Instructions William Gropp www.cs.illinois.edu/~wgropp More on the CPU

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2015-01-15 10:22:16
160Computer networking / Packet processing / Procedural programming languages / Network processor / Transmission Control Protocol / ALGOL 68

Technical Report UCAM-CL-TR-578 ISSNNumber 578

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:02
UPDATE